1. True \\[0ex]$\vdash$ False $\vee$ True